pascal homomorphicity